ar X iv : c s . C C / 9 90 70 34 v 1 2 5 Ju l 1 99 9 Polynomial - Time Multi - Selectivity

نویسندگان

  • Jörg Rothe
  • Osamu Watanabe
چکیده

We introduce a generalization of Selman’s P-selectivity that yields a more flexible notion of selectivity, called (polynomial-time) multi-selectivity, in which the selector is allowed to operate on multiple input strings. Since our introduction of this class, it has been used [HJRW96] to prove the first known (and optimal) lower bounds for generalized selectivity-like classes in terms of EL2, the second level of the extended low hierarchy. We study the resulting selectivity hierarchy, denoted by SH, which we prove does not collapse. In particular, we study the internal structure and the properties of SH and completely establish, in terms of incomparability and strict inclusion, the relations between our generalized selectivity classes and Ogihara’s P-mc (polynomialtime membership-comparable) classes. Although SH is a strictly increasing infinite hierarchy, we show that the core results that hold for the P-selective sets and that prove them structurally simple also hold for SH. In particular, all sets in SH have small circuits; the NP sets in SH are in Low2, the second level of the low hierarchy within NP; and SAT cannot be in SH unless P = NP. Finally, it is known that P-Sel, the class of P-selective sets, is not closed under union or intersection. We provide an extended selectivity hierarchy that is based on SH and that is large enough to capture those closures of the P-selective sets, and yet, in contrast with the P-mc classes, is refined enough to distinguish them.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

ar X iv : c s . C G / 9 90 70 25 v 1 1 6 Ju l 1 99 9 The union of unit balls has quadratic complexity , even if they all contain the origin

We provide a lower bound construction showing that the union of unit balls in R has quadratic complexity, even if they all contain the origin. This settles a conjecture of Sharir.

متن کامل

ar X iv : d g - ga / 9 50 70 04 v 1 2 4 Ju l 1 99 5 LOCALISATION OF THE DONALDSON ’ S INVARIANTS ALONG SEIBERG - WITTEN CLASSES

This article is a first step in establishing a link between the Donaldson polynomials and Seiberg-Witten invariants of a smooth 4-manifold.

متن کامل

ar X iv : c on d - m at / 9 20 70 13 v 1 1 4 Ju l 1 99 2 The Majorana Fermions for Quantum S = 1 / 2 Antiferromagnet ?

abstract Recently it has been suggested by A. M. Tsvelik that quantum S=1/2 an-tiferromagnet can be described by the Majorana fermions in an irreducible way and without any constraint. In contrast to this claim we shall show that this representation is highly reducible. It is a direct sum of four irreducible fundamental representations of su(2) algebra.

متن کامل

ar X iv : s ol v - in t / 9 60 70 03 v 1 1 6 Ju l 1 99 6 Coupled Integrable Systems Associated with a Polynomial Spectral Problem and their Virasoro Symmetry

An isospectral hierarchy of commutative integrable systems associated with a polynomial spectral problem is proposed. The resulting hierarchy possesses a recursion structure controlled by a hereditary operator. The nonisospectral flows generate the time first order dependent symmetries of the isospectral hierarchy, which constitute Virasoro symmetry algebras together with commutative symmetries.

متن کامل

ar X iv : n uc l - th / 9 90 70 62 v 1 1 5 Ju l 1 99 9 1 Equilibrium and non - equilibrium effects in relativistic heavy ion collisions

L. V. Bravina, E. E. Zabrodin, M. I. Gorenstein, S. A. Bass, M. Belkacem, M. Bleicher, M. Brandstetter, C. Ernst, Amand Faessler, W. Greiner, S. Soff, H. Stöcker, H. Weber aInstitute for Theoretical Physics, University of Frankfurt, D-60054 Frankfurt, Germany bInstitute for Nuclear Physics, Moscow State University, 119899 Moscow, Russia cInstitute for Theoretical Physics, University of Tübingen...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2006